Concept of the abstract program
نویسنده
چکیده
The aim of this paper is to alter the abstract definition of the program of the theoretical programming model which has been developed at Eötvös Loránd University for many years in order to investigate methods that support designing correct programs. The motivation of this modification was that the dynamic properties of programs appear in the model. This new definition of the program gives a hand to extend the model with the concept of subprograms while the earlier results of the original programming model are preserved.
منابع مشابه
The Effect of an Educational-Orientation Program Upon Professional Self-Concept of Undergraduate Nursing Students
Introduction: Professional self-concept is the individual's perception of self as a professional person and it affects his/her thinking, role development, and professional function. In recent years, improving self-concept has been discussed as a global aim in higher education, especially in nursing discipline. Thus, this study was conducted to examine the effect of an educational-orientation pr...
متن کاملEffect 0f Resistance training program on physical self concept and body function of boys with cerebral palsy at age of 13-18 years
Physical Self Concept can be affected from interventions such as sport and exercise training. So in order to enhancing the person`s physical characteristics perception and creation the partnership motivation in physical activity, it is important to know a bout the way of affecting this methods of training. Purpose: this study was designed to evaluate the effect of a progressive resistance train...
متن کاملInteractive Program Modularization for Software Understanding via Formal Concept Analysis
Abstract. Software understanding tools involve program modularization and visualization capabilities. However provided program modules do not always represent the accurate structure. Formal Concept Analysis and concept partition are methods to identify desirable program modules. Using concept partition, we define vertical and horizontal relation among partitions and cluster different abstract c...
متن کاملComputational and Programming Aspects of Transition Elements in a Three-dimensional Finite Element Program
The performance of any finite element (FE) structural analysis is directly related to the global number of nodes and degrees of freedom (DOF) of the discretized structure and mesh distribution attributes. It is obvious that the appropriate numerical analysis needs finer elements in the zone of interest, e.g. zone of high stress concentration and intensity, and coarser elements for farther porti...
متن کاملاثربخشی برنامه غنی سازی رابطه بر کیفیت زندگی کاری کارکنان
Abstract Background and aims: Quality of working life is a critical concept with great importance in the life of an employee which shows an appropriate balance between work and personal life, ensuring organizational productivity and employee’s job satisfaction. This study aimed to determine the effectiveness of relationship enhancement program on quality of work life (QWL) am...
متن کاملCognitive Evolution of the “Human” Concept and Its Adaptation to Piaget’s Theory
Background: Cognitions and attitudes, especially anthropological attitudes, are influential in human behavior. Objectives: The present study was conducted to investigate the cognitive evolution of the human concept in elementary school female students and its adaptation to Piaget’s theory of cognitive development. Materials & Methods: The present research method is qualitative of deductive-ind...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- CoRR
دوره abs/1207.6369 شماره
صفحات -
تاریخ انتشار 2012